Alessandro Aldini: mencari di tapak web Z-Library

Sumbangan 15 hb September 2024 – 1 hb Oktober 2024 Mengenai pengumpulan sumbangan

Akses percuma kepada pengetahuan dan budaya.

Sumbangan 15 hb September 2024 – 1 hb Oktober 2024

Z-Library - salah satu perpustakaan dalam talian terbesar di dunia yang menyimpan lebih daripada 17,000,000 buku dan 84,837,000 artikel. Kami bertujuan untuk buku boleh diakses oleh semua orang. Hari ini (15 hb September 2024) kami memulakan pengumpulan dana tambahan untuk menyokong dan mengembangkan projek.

Tambah lagi muat turun TANPA HAD (untuk 31 hari sejak menghantar sumbangan) boleh diakses oleh SEMUA pengguna yang menyumbangkan selama tempoh pengumpulan sumbangan hingga 1 hb Oktober 2024.

Mengenai pengumpulan sumbanganBaca lebih lanjut

Buku (26)
Yang paling popular
Senarai
- Senarai
- Jadual

1

A Process Algebraic Approach to Software Architecture Design

A Process Algebraic Approach to Software Architecture Design

Springer-Verlag London

Alessandro Aldini, Marco Bernardo, Flavio Corradini (auth.)

Tahun:

2010

Bahasa:

english

Fail:

PDF, 2.60 MB

0 / 0

english, 2010

2

Foundations of Security Analysis and Design III: FOSAD 2004/2005 Tutorial Lectures

Foundations of Security Analysis and Design III: FOSAD 2004/2005 Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Michael Backes, Birgit Pfitzmann, Michael Waidner (auth.), Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli (eds.)

Tahun:

2005

Bahasa:

english

Fail:

PDF, 2.56 MB

0 / 0

english, 2005

3

A Process Algebraic Approach to Software Architecture Design

A Process Algebraic Approach to Software Architecture Design

Springer-Verlag London

Alessandro Aldini, Marco Bernardo, Flavio Corradini (auth.)

Tahun:

2010

Bahasa:

english

Fail:

PDF, 2.49 MB

0 / 0

english, 2010

4

A Process Algebraic Approach to Software Architecture Design

A Process Algebraic Approach to Software Architecture Design

Springer-Verlag London

Alessandro Aldini, Marco Bernardo, Flavio Corradini (auth.)

Tahun:

2010

Bahasa:

english

Fail:

PDF, 2.90 MB

0 / 0

english, 2010

5

Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures

Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Santiago Escobar, Catherine Meadows, José Meseguer (auth.), Alessandro Aldini, Gilles Barthe, Roberto Gorrieri (eds.)

Tahun:

2009

Bahasa:

english

Fail:

PDF, 3.31 MB

0 / 0

english, 2009

6

Foundations of Security Analysis and Design VI: FOSAD Tutorial Lectures

Foundations of Security Analysis and Design VI: FOSAD Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Sabrina De Capitani di Vimercati, Sara Foresti, Giovanni Livraga, Pierangela Samarati (auth.), Alessandro Aldini, Roberto Gorrieri (eds.)

Tahun:

2011

Bahasa:

english

Fail:

PDF, 3.64 MB

0 / 0

english, 2011

7

A Process Algebraic Approach to Software Architecture Design

A Process Algebraic Approach to Software Architecture Design

Springer-Verlag London

Alessandro Aldini, Marco Bernardo, Flavio Corradini (auth.)

Tahun:

2010

Bahasa:

english

Fail:

PDF, 3.57 MB

0 / 0

english, 2010

8

Foundations of Security Analysis and Design IV: FOSAD 2006/2007 Tutorial Lectures

Foundations of Security Analysis and Design IV: FOSAD 2006/2007 Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Martín Abadi (auth.), Alessandro Aldini, Roberto Gorrieri (eds.)

Tahun:

2007

Bahasa:

english

Fail:

PDF, 4.33 MB

0 / 0

english, 2007

9

Computer Performance Engineering: 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings

Computer Performance Engineering: 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Marco Roccetti, Gustavo Marfia (auth.), Alessandro Aldini, Marco Bernardo, Luciano Bononi, Vittorio Cortellessa (eds.)

Tahun:

2010

Bahasa:

english

Fail:

PDF, 4.60 MB

0 / 0

english, 2010

10

Foundations of Security Analysis and Design VI: FOSAD Tutorial Lectures

Foundations of Security Analysis and Design VI: FOSAD Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Sabrina De Capitani di Vimercati, Sara Foresti, Giovanni Livraga, Pierangela Samarati (auth.), Alessandro Aldini, Roberto Gorrieri (eds.)

Tahun:

2011

Bahasa:

english

Fail:

PDF, 3.57 MB

0 / 0

english, 2011

11

Computer Performance Engineering: 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings

Computer Performance Engineering: 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Marco Roccetti, Gustavo Marfia (auth.), Alessandro Aldini, Marco Bernardo, Luciano Bononi, Vittorio Cortellessa (eds.)

Tahun:

2010

Bahasa:

english

Fail:

PDF, 4.67 MB

0 / 0

english, 2010

12

Foundations of Security Analysis and Design VIII: FOSAD 2014/2015/2016 Tutorial Lectures

Foundations of Security Analysis and Design VIII: FOSAD 2014/2015/2016 Tutorial Lectures

Springer International Publishing

Alessandro Aldini, Javier Lopez, Fabio Martinelli (eds.)

Tahun:

2016

Bahasa:

english

Fail:

PDF, 8.21 MB

0 / 0

english, 2016

13

Data Privacy Management, and Security Assurance: 10th International Workshop, DPM 2015, and 4th International Workshop, QASA 2015, Vienna, Austria, September 21-22, 2015. Revised Selected Papers

Data Privacy Management, and Security Assurance: 10th International Workshop, DPM 2015, and 4th International Workshop, QASA 2015, Vienna, Austria, September 21-22, 2015. Revised Selected Papers

Springer International Publishing

Joaquin Garcia-Alfaro, Guillermo Navarro-Arribas, Alessandro Aldini, Fabio Martinelli, Neeraj Suri (eds.)

Tahun:

2016

Bahasa:

english

Fail:

PDF, 14.67 MB

0 / 0

english, 2016

14

Data Privacy Management and Security Assurance: 11th International Workshop, DPM 2016 and 5th International Workshop, QASA 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings

Data Privacy Management and Security Assurance: 11th International Workshop, DPM 2016 and 5th International Workshop, QASA 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings

Springer International Publishing

Giovanni Livraga, Vicenç Torra, Alessandro Aldini, Fabio Martinelli, Neeraj Suri (eds.)

Tahun:

2016

Bahasa:

english

Fail:

PDF, 9.43 MB

0 / 0

english, 2016

15

Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance: 9th International Workshop, DPM 2014, 7th International Workshop, SETOP 2014, and 3rd International Workshop, QASA 2014, Wroclaw, Poland, September 10-11, 2014. Revised Sele

Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance: 9th International Workshop, DPM 2014, 7th International Workshop, SETOP 2014, and 3rd International Workshop, QASA 2014, Wroclaw, Poland, September 10-11, 2014. Revised Sele

Springer International Publishing

Joaquin Garcia-Alfaro, Jordi Herrera-Joancomartí, Emil Lupu, Joachim Posegga, Alessandro Aldini, Fabio Martinelli, Neeraj Suri (eds.)

Tahun:

2015

Bahasa:

english

Fail:

PDF, 13.24 MB

0 / 0

english, 2015

16

Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

Springer-Verlag Berlin Heidelberg

Alessandra Di Pierro, Chris Hankin (auth.), Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky (eds.)

Tahun:

2010

Bahasa:

english

Fail:

PDF, 1.53 MB

0 / 0

english, 2010

17

Foundations of Security Analysis and Design VII: FOSAD 2012/2013 Tutorial Lectures

Foundations of Security Analysis and Design VII: FOSAD 2012/2013 Tutorial Lectures

Springer International Publishing

Alessandro Aldini, Javier Lopez, Fabio Martinelli (eds.)

Tahun:

2014

Bahasa:

english

Fail:

PDF, 8.66 MB

0 / 0

english, 2014

18

Foundations of Security Analysis and Design II: FOSAD 2001/2002 Tutorial Lectures

Foundations of Security Analysis and Design II: FOSAD 2001/2002 Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Alessandro Aldini, Mario Bravetti (auth.), Riccardo Focardi, Roberto Gorrieri (eds.)

Tahun:

2004

Bahasa:

english

Fail:

PDF, 1.97 MB

0 / 0

english, 2004

19

Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

Springer-Verlag Berlin Heidelberg

Alessandra Di Pierro, Chris Hankin (auth.), Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky (eds.)

Tahun:

2010

Bahasa:

english

Fail:

PDF, 1.65 MB

0 / 0

english, 2010

20

Foundations of Security Analysis and Design IV: FOSAD 2006/2007 Tutorial Lectures

Foundations of Security Analysis and Design IV: FOSAD 2006/2007 Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Martín Abadi (auth.), Alessandro Aldini, Roberto Gorrieri (eds.)

Tahun:

2007

Bahasa:

english

Fail:

PDF, 6.64 MB

0 / 0

english, 2007

21

User-Centric Networking: Future Perspectives

User-Centric Networking: Future Perspectives

Springer International Publishing

Alessandro Aldini, Alessandro Bogliolo (eds.)

Tahun:

2014

Bahasa:

english

Fail:

PDF, 9.28 MB

0 / 0

english, 2014

22

Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

Springer-Verlag Berlin Heidelberg

Alessandra Di Pierro, Chris Hankin (auth.), Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky (eds.)

Tahun:

2010

Bahasa:

english

Fail:

PDF, 2.65 MB

0 / 0

english, 2010

23

Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures

Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Santiago Escobar, Catherine Meadows, José Meseguer (auth.), Alessandro Aldini, Gilles Barthe, Roberto Gorrieri (eds.)

Tahun:

2009

Bahasa:

english

Fail:

PDF, 5.45 MB

0 / 0

english, 2009

24

Foundations of Security Analysis and Design III: FOSAD 2004/2005 Tutorial Lectures

Foundations of Security Analysis and Design III: FOSAD 2004/2005 Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Michael Backes, Birgit Pfitzmann, Michael Waidner (auth.), Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli (eds.)

Tahun:

2005

Bahasa:

english

Fail:

PDF, 2.24 MB

0 / 0

english, 2005

25

Foundations of Security Analysis and Design II: FOSAD 2001/2002 Tutorial Lectures

Foundations of Security Analysis and Design II: FOSAD 2001/2002 Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Alessandro Aldini, Mario Bravetti (auth.), Riccardo Focardi, Roberto Gorrieri (eds.)

Tahun:

2004

Bahasa:

english

Fail:

PDF, 2.37 MB

0 / 0

english, 2004

26

Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures

Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Santiago Escobar, Catherine Meadows, José Meseguer (auth.), Alessandro Aldini, Gilles Barthe, Roberto Gorrieri (eds.)

Tahun:

2009

Bahasa:

english

Fail:

PDF, 3.41 MB

0 / 0

english, 2009